北京自由电子激光最近进展──实现饱和振荡

北京自由电子激光(BFEL)装置于1993年底在10.68μm处实现了饱和振荡.输出激光能量为3mJ,饱和平顶宽度2μs.对应饱和振荡平均功率为210kW(宏脉冲),峰值功率约为20MW,比自发辐射高8个量级,单程小讯号净增益为24%,转换效率为0.45%,与理论预期结果相符.光束质量接近衍射极限.目前装置可工作于9-11μm.     

A comparison of master equation and Fokker-Planck equation in the thermodynamic limit

The master equation and the Fokker-Planck equation are compared thoroughly in both of the stationary and the time-dependent cases for a one-dimensional system. The comparison includes the master equation without detailed balance.     

激光二极管侧面抽运Nd:YAG锁模激光器的研究

利用谐振腔的稳定条件对激光二极管侧面抽运的Nd：YAG锁模直腔的稳区特性和谐振腔内的光斑分布进行了分析。根据对腔参量的分析，选取合适的腔参量设计了一个简单的侧面抽运直腔，该谐振腔腔形简单，没有像散，振荡光模式好，有利于激光器的锁模运转。实验中采用国内自行研制的半导体可饱和吸收镜，实现了激光二极管侧面抽运半导体可饱和吸收镜锁模Nd：YAG激光器的连续锁模运转，平均输出功率为2W，锁模脉冲宽度为10ps，重复频率为100MHz。结合实验结果进一步讨论了半导体可饱和吸收镜的一些参量如饱和恢复时间、调制深度等对实现稳定连续锁模的影响。     

复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

Schiff碱水杨醛苯甲酰腙的特性

研究了 Schiff碱水杨醛苯甲酰腙 (简称 SBH)晶体在 DMSO及其 DMSO- H2 O的混合溶剂中的红外光谱 ,通过 SBH氘代前后的 IR对比发现 ,羟基氢质子与混合溶剂 DMSO- H2 O(3∶ 1 ,V/ V)产生较大的相互作用。向溶有 SBH的 75 % DMSO- 2 5 % H2 O的溶液滴加 KOH发现 ,SBH分子上的 C O羰基基团先与 KOH作用 ,其后与 O H 羟基基团作用     

利用电泳技术在不锈钢和铁基底上制备MgB2带材

本文首次报道了利用电泳技术在铁和不锈钢基底上制备MgB2超导带材.电阻测量表明,沉积在铁和不锈钢基底上MgB2带材的超导零电阻转变温度分别为37.5K和31K,超导转变宽度分别为0.3K和1K.磁测量表明,(5K,OT)时不锈钢基底上带材的临界电流密度为6×105(A/cm2).X射线衍射谱和扫描电子显微镜图象表明样品结晶良好,晶粒生长致密.本工艺制备MgB2带材时不受系统真空度的限制,生长迅速,成本低廉,并且可以根据不同的需要任意选择基底的形状和大小.     

一个在水稻胚胎中差异表达基因的分离鉴定

通过筛选水稻开花后48～50h的原胚和120～122h的分化胚的cDNA文库,得到一个在胚胎发育过程中表达有差异的克隆,命名为OsEES,测序结果显示OsEES含有一个预测的亚精氨合成酶结构域,编码一个大小约38×103(pI6.5)的蛋白.同时RNA原位杂交的结果显示开花48～50h的原胚中的信号强度明显大于开花120～122h的分化胚,表明OsEES可能在水稻胚胎发生过程中起到一定的调控作用.     

人原始生殖细胞的分离和体外培养

从4～10周龄药物流产胚胎的生殖嵴和肠系膜组织中分离原始生殖细胞(primordial germ cells,PGCs),培养在添加人重组白血病抑制因子(rh LIF)、人重组碱性成纤维细胞生长因子(rh bFGF)和Forskolin的小鼠饲养层细胞上.经过4～7 d培养,PGCs形成典型的鸟巢状集落.集落在传代过程中保持碱性磷酸酶活性,且胚胎阶段性特异抗原1(SSEA-1)、胚胎阶段性特异抗原3(SSEA-3)免疫荧光染色呈阳性.具有分化潜能的PGCs能在体外连续传代培养12代.结果表明从药物流产胚胎中分离的人类PGCs可以在体外培养成为具有分化潜能的多能性干细胞.     

多元χ演算运行时错误的不可判定性

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从Lazyλ项到χ项的编码，将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题．证明了在多元χ演算中，通讯错误也是不可判定的．结论说明不存在算法直接来检测进程的通信安全性，而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的．